Towards Intelligent Databases

This article is a presentation of the objectives and techniques of deductive databases. The deductive approach to databases aims at extending with intensional definitions other database paradigms that describe applications extensionaUy. We first show how constructive specifications can be expressed with deduction rules, and how normative conditions can be defined using integrity constraints. We outline the principles of bottom-up and top-down query answering procedures and present the techniques used for integrity checking. We then argue that it is often desirable to manage with a database system not only database applications, but also specifications of system components. We present such meta-level specifications and discuss their advantages over conventional approaches

Asymptotics of the solutions of the stochastic lattice wave equation

We consider the long time limit theorems for the solutions of a discrete wave equation with a weak stochastic forcing. The multiplicative noise conserves the energy and the momentum. We obtain a time-inhomogeneous Ornstein-Uhlenbeck equation for the limit wave function that holds both for square integrable and statistically homogeneous initial data. The limit is understood in the point-wise sense in the former case, and in the weak sense in the latter. On the other hand, the weak limit for square integrable initial data is deterministic

Neurotransmitter uptake of synaptic vesicles studied by X-ray diffraction

The size, polydispersity, and electron density profile of synaptic vesicles (SVs) can be studied by small-angle X-ray scattering (SAXS), i.e. by X-ray diffraction from purified SV suspensions in solution. Here we show that size and shape transformations, as they appear in the functional context of these important synaptic organelles, can also be monitored by SAXS. In particular, we have investigated the active uptake of neurotransmitters, and find a mean vesicle radius increase of about 12% after the uptake of glutamate, which indicates an unusually large extensibility of the vesicle surface, likely to be accompanied by conformational changes of membrane proteins and rearrangements of the bilayer. Changes in the electron density profile (EDP) give first indications for such a rearrangement. Details of the protein structure are screened, however, by SVs polydispersity. To overcome the limitations of large ensemble averages and heterogeneous structures, we therefore propose serial X-ray diffraction by single free electron laser pulses. Using simulated data for realistic parameters, we show that this is in principle feasible, and that even spatial distances between vesicle proteins could be assessed by this approach

Modelling expected physical impacts and human casualties from explosive volcanic eruptions

A multi-hazard, multi-vulnerability impact model has been developed for application to European volcanoes that could significantly damage human settlements. This impact model is based on volcanological analyses of the potential hazards and hazard intensities coupled with engineering analyses of the vulnerability to these hazards of residential buildings in four European locations threatened by explosive volcanic eruptions. For a given case study site, inputs to the model are population data, building characteristics, volcano scenarios as a series of hazard intensities, and scenarios such as the time of eruption or the percentage of the population which has been evacuated. Outputs are the rates of fatalities, seriously injured casualties, and destroyed buildings for a given scenario. These results are displayed in a GIS, thereby presenting risk maps which are easy to use for presenting to public officials, the media, and the public. Technical limitations of the model are discussed and future planned developments are considered. This work contributes to the EU-funded project EXPLORIS (Explosive Eruption Risk and Decision Support for EU Populations Threatened by Volcanoes, EVR1-2001-00047). </p><p style='line-height: 20px;'>&nbsp;</p

Reconstitution of SNARE proteins into solid-supported lipid bilayer stacks and X-ray structure analysis.

SNAREs are known as an important family of proteins mediating vesicle fusion. For various biophysical studies, they have been reconstituted into supported single bilayers via proteoliposome adsorption and rupture. In this study we extended this method to the reconstitution of SNAREs into supported multilamellar lipid membranes, i.e. oriented multibilayer stacks, as an ideal model system for X-ray structure analysis (X-ray reflectivity and diffraction). The reconstitution was implemented through a pathway of proteomicelle, proteoliposome and multibilayer. To monitor the structural evolution in each step, we used small-angle X-ray scattering for the proteomicelles and proteoliposomes, followed by X-ray reflectivity and grazing-incidence small-angle scattering for the multibilayers. Results show that SNAREs can be successfully reconstituted into supported multibilayers, with high enough orientational alignment for the application of surface sensitive X-ray characterizations. Based on this protocol, we then investigated the effect of SNAREs on the structure and phase diagram of the lipid membranes. Beyond this application, this reconstitution protocol could also be useful for X-ray analysis of many further membrane proteins

Autonomous clustering using rough set theory

This paper proposes a clustering technique that minimises the need for subjective human intervention and is based on elements of rough set theory. The proposed algorithm is unified in its approach to clustering and makes use of both local and global data properties to obtain clustering solutions. It handles single-type and mixed attribute data sets with ease and results from three data sets of single and mixed attribute types are used to illustrate the technique and establish its efficiency

The amino acid and hydrocarbon contents of the Paris meteorite: Insights into the most primitive CM chondrite

International audienc

Equilibrium fluctuations of additive functionals of zero-range models

For mean-zero and asymmetric zero-range processes on $\Z^d$, the fluctuations of additive functionals starting from an invariant measure are considered. Under certain assumptions, we establish when the fluctuations are diffusive and satisfy functional central limit theorems. These results complement those for symmetric zero-range systems and also those for simple exclusion models already in the literature.FC

Aluminum-, Calcium- And Titanium-Rich Oxide Stardust In Ordinary Chondrite Meteorites

We report isotopic data for a total of 96 presolar oxide grains found in residues of several unequilibrated ordinary chondrite meteorites. Identified grain types include Al2O3, MgAl2O4, hibonite (CaAl12O19) and Ti oxide. This work greatly increases the presolar hibonite database, and is the first report of presolar Ti oxide. O-isotopic compositions of the grains span previously observed ranges and indicate an origin in red giant and asymptotic giant branch (AGB) stars of low mass (<2.5 MSun) for most grains. Cool bottom processing in the parent AGB stars is required to explain isotopic compositions of many grains. Potassium-41 enrichments in hibonite grains are attributable to in situ decay of now-extinct 41Ca. Inferred initial 41Ca/40Ca ratios are in good agreement with model predictions for low-mass AGB star envelopes, provided that ionization suppresses 41Ca decay. Stable Mg and Ca isotopic ratios of most of the hibonite grains reflect primarily the initial compositions of the parent stars and are generally consistent with expectations for Galactic chemical evolution, but require some local interstellar chemical inhomogeneity. Very high 17O/16O or 25Mg/24Mg ratios suggest an origin for some grains in binary star systems where mass transfer from an evolved companion has altered the parent star compositions. A supernova origin for the hitherto enigmatic 18O-rich Group 4 grains is strongly supported by multi-element isotopic data for two grains. The Group 4 data are consistent with an origin in a single supernova in which variable amounts of material from the deep 16O-rich interior mixed with a unique end-member mixture of the outer layers. The Ti oxide grains primarily formed in low-mass AGB stars. They are smaller and rarer than presolar Al2O3, reflecting the lower abundance of Ti than Al in AGB envelopes.Comment: Accepted for publication in ApJ; 47 pages, 13 figure